$\forall$${\it es}$:ES, $e$:E. es{-}le{-}before(${\it es}$;$e$) $\in$ (E List)